when did people use floppy disks